This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies. The first workshop in this series was held in T}bingen in 1989 and its proceedings areavailable as (...) LNCS 475. The third workshop will be held in Bologna in 1992. (shrink)

Background The early phase of the COVID-19 pandemic affected nursing homes and their residents heavily. Guidelines on how to mitigate the virus’s spread and ensuring safe healthcare delivery were continually evolving. Concurrently, nursing homes faced intense media scrutiny. This challenging environment severely impacted registered nurses and physicians employed within these facilities. Aim To understand the ethical challenges experienced by registered nurses and physicians working in nursing homes during the COVID-19 pandemic. Research design Qualitative descriptive research using thematic analysis. Participants and (...) research context Individual online interviews with four registered nurses and eight physicians clinically active at nursing homes in Sweden. Ethical considerations The study was approved by the Swedish Ethical Review Authority. All participants provided written consent. Results Registered nurses and physicians working in nursing homes perceived ethical challenges stemming from early COVID-19 pandemic guidelines and media coverage. The main theme generated was ‘Struggling to maintain professional and ethical standards under pressure’ incorporating two subthemes: ‘Guidelines developed without the profession put pressure on staff’ and ‘Media’s biased reporting was perceived as unethical and undermined care’. Guidelines from the authorities were considered as developed without professional involvement. It made them difficult to adhere to without deviating from professional and ethical compasses. Media coverage adversely influenced relatives’ perceptions, resulting in mistrust towards physicians’ and registered nurses’ in delivering optimal care for the residents. Conclusions Resilient care in nursing homes necessitates the collaborative development of guidelines involving registered nurses and physicians, particularly amidst crises. Moreover, it is vital to provide support to registered nurses navigating ethical dilemmas, especially during pandemics. Guidelines and principles for care during a crisis should be development with professional involvement, be transparent, and be available to the public, to promote neutral media coverage. Future research is crucial to enhance ethical standards and tackle challenges in this context. (shrink)

The rapid growth of the Russian Internet offers great advantages, especially for geographical and cultural peripheries. Nevertheless, the locational inequality in Internet usage within the country has not yet been bridged. Meanwhile, some Russian villagers living in the countryside have started to ‘blog back’ to the metropolitan centres. How is the Russian village represented in these accounts by digital’nye derevenščiki ? What power relations are characteristic of villagers and townspeople, as they meet in online forums and blogs? The case studies (...) presented in this essay show that, although the traditional dichotomist opposition between centre and periphery has undergone substantial redefinition, the significance of these concepts as value-loaded, culturally coded discursive entities still prevails. The manifestation of hybrid identities, explored in recent research on transnational diasporic communities, has not yet affected the rather static conceptions of core and periphery at work within Russian borders and on the Russian Internet. (shrink)

This study seeks to understand, in the context of intersectional theory, the roles of family members in nursing home care. The unique social locus at which each person sits is the result of the intersection of gender, status, ethnicity and class; it is situational, shifting with the context of every encounter. A content analysis of 15 qualitative interviews with relatives of nursing home residents in Sweden was used to gain a perspective on the relationships between relatives and residents, relatives and (...) the nursing home as an institution, and relatives and the nursing home staff. We sought to understand these relationships in terms of gendered notions of the family and the residents, which are handed down from generation to generation and thus condition who and how relatives should be involved in care, and the ways in which relationships change as care moves from home to nursing home. It requires knowledge and awareness that the nursing home culture is based on intersectional power structures in order for relatives to be involved in nursing home care in alternative and individual ways. (shrink)

Den Philosophen und Theologen Friedrich Schleiermacher und den dänischen Philosophen, Mineralogen und Theologen Henrik Steffens verband nicht nur eine enge Freundschaft, sondern sie verstanden sich – kurz nacheinander 1804 an die Universität Halle berufen – auch als wissenschaftliches Pendant. Grundlegend für den gefühlten Gleichklang beider Köpfe ist der romantische Gedanke progressiver Universalität, der auf der Suche nach einer angemessenen wissenschaftlichen Methodik gleichermaßen die Forderung nach System und Antisystem, System und seine Subversion generiert. Trotz dieser häufig konstatierten wissenschaftlichen Entsprechung beider (...) Denker ist ihr systematisches Verhältnis bis dato in der Forschung kaum bedacht und ebenso Desiderat wie die philosophische Literatur zu Steffens Werk überhaupt. Die Beiträge des Bandes gehen biographischen Spuren nach, thematisieren die Einheit des Wissens im Spannungsverhältnis von System und Subversion, untersuchen das Wechselverhältnis von Ethik und Physik, Naturphilosophie und Naturwissenschaft und fragen auch nach den im Verlauf ihrer Freundschaft zunehmenden Differenzen im Denken beider Philosophen, die sich nicht zuletzt in ihren theologischen und kirchenpolitischen Schriften manifestieren. (shrink)

In his essay “Analytic Philosophy and Metaphysics,” Frederick Stoutland argues that an unspoken metaphysical spirit underlies much of twentieth-century analytic philosophy, in spite of the fact that the word “metaphysics” has had a pejorative ring. The metaphysical habit of mind results in an activity which at best is an unproductive diversion, at worst a dialectical illusion, making claims which only appear to be truth-evaluable. I agree with Stoutland’s diagnosis, which is inspired by Wittgenstein, Georg Henrik von Wright, and Cora (...) Diamond, but argue that there is a bifurcation in the metaphysical temptation which Stoutland overlooks. One form is the assumption that questions of meaning can be raised outside the context of meaningful use of an expression, the other is the urge to impose a scientific form of inquiry onto philosophy, the aims of which are quite different from those of science. The former temptation is the deeper one, running through the history of philosophy, while the attempt to model philosophical inquiry onto scientific explanation is the contemporary form taken by this temptation. As an example of the metaphysical spirit Stoutland criticizes Marion David’s defense of the correspondence theory of truth. I argue that David’s progress could have been cut off at an earlier stage, by pointing out that the examples of truth claims David uses as his starting points are themselves bewildering and far removed from anything that would intelligibly be said in the course of a normal conversation. (shrink)

In this paper we argue that transnational as well as national political demands and expectations on the educational field are contributing to produce four ideological-based educational leadership discourses in the literature. In order to conceptualize these discourses, we turn to the work of Schmidt and Zizek. On that basis we identify four dominant educational leadership discourses: a personhood-based discourse, a profession-based discourse, a standard-based discourse, and a resource-based discourse. These discourses have—as we will show—various consequences for the way we (...) think and talk about education and educational leadership in our age. Using examples that stem from a project about educational leadership in Danish upper secondary school, we will illustrate how educational leaders’ beings and doings are ‘regulated’ by these discourses, which place them in a tension field where different and conflicting fantasies seem to be played out. Then, we will discuss how these fantasies can be challenged and how we can think and speak more intellectually about education and educational leadership. By using the term intellectual we are referring to educational leaders’ ability as human beings to critically reflect on their contemporary doings and beings within and beyond the existing social order. Hopefully this can help them to establish new ways for discussing not only what educational leadership is and should be about, but also what it could be about. (shrink)

This article demonstrates the broad applicability of the concept of symbol in human communication, beyond but including verbal language. The starting point is Charles Sanders Peirce’s understanding of symbolicity as signification grounded on habits. The goal is to be able to conceptualize mediality in general and media interrelations, particularly in relation to symbolicity. Informed by a multimodal view on media, the author provides a systematic overview of symbolicity within the context of communication among human minds structured around two crossing parameters: (...) symbols being limited or widespread among people and symbols not being part of or being part of systems – languages. Based on this overview, I clarify the role of culture in language notions and conceptualize language in relation to mediality. I also suggest a way of more precisely describing similarities and differences between languages and media types, without either conflating or totally separating the two concepts. Finally, I investigate how the dependence of language and media type conceptions on culture affects the idea of intermediality. Together, these investigations and conceptualizations promote a more comprehensive understanding of symbolicity in general and a deeper knowledge of the role of symbolicity in human communication, including verbal language, and intermedial relations involving all kinds of different media types. (shrink)

This article discusses the interplay of public policy and market-driven initiatives to improve farm animal welfare. Over the last couple of decades, the notion of ‘market-driven animal welfare’ has become popular, but can the market deliver the FAW that consumers and politicians expect? Using the Danish pork sector as the empirical setting, this article studies efforts to improve private FAW standards following changes to general regulations. The analysis shows that ethical misgivings regarding the adequacy of current and prospective FAW standards (...) are tempered by the economic considerations that guide the practices of some actors. The study also shows that efforts to improve FAW standards are contingent on collaboration and coordination across globalised markets among actors with divergent interests. The findings have important implications for market practices and public policy in relation to FAW. (shrink)

The 1948 constitution of the World Health Organization (WHO) defines health as ‘a state of complete physical, mental and social well-being and not merely the absence of disease or infirmity’. It was a bold and revolutionary health idea to gain international consensus in a period characterized by fervent anti-communism. This article explores the genealogy of the health definition and demonstrates how it was possible to expand the scope of health, redefine it as ‘well-being’, and overcome ideological resistance to progressive and (...) international health approaches. The first part of the article demonstrates how the health definition was composed through a trajectory of draft ideas from scholars in the history of medicine, as well as political actors working to promote national health insurance. The definition was authored by League of Nations veteran Raymond Gautier, but secretly drew heavily on medical historian Henry E. Sigerist’s controversial book Socialized Medicine in the Soviet Union (1937). The second part analyses how it was possible to resist the ideological pushback against the WHO and secure US ratification. The WHO’s progressive constitution was not simply a deviation from dominant health ideas, but a direct outcome of the entrenched health conflict. The genealogy is based on original archival material from international organizations and US government archives. The article contributes to understandings of the political controversies surrounding the WHO and to scholarship on understandings of health. It also illustrates how influential health ideas cross the boundaries between politics and health sciences, as well as the boundaries between domestic health policy and global health. (shrink)

This volume distinguishes between two main traditions in the philosophy of science - the aristotelian, with its stress on explanation in terms of purpose and intentionality, and the galilean, which takes causal explanation as primary. It then traces the complex history of these competing traditions as they are manifested in such movements as positivism, idealism, Marxism and contemporary linguistic analysis. Hempels's theory of scientific explanation, the claims of cybernetics the rise of an analytic philosophy of action and the revival of (...) hermenuetics are all discussed. The volume also deals with causal explanation, intentionality and teleological explanation, and explanation in history and the social sciences. The author concludes that explanation of human actions cannot be reduced to simple causality, and discusses the implications of this conclusion for the disciplines of history and sociology. (shrink)

In 1988 Fodor and Pylyshyn issued a challenge to the newly-popular connectionism: explain the systematicity of cognition without merely implementing a so-called classical architecture. Since that time quite a number of connectionist models have been put forward, either by their designers or by others, as in some measure demonstrating that the challenge can be met (e.g., Pollack, 1988, 1990; Smolensky, 1990; Chalmers, 1990; Niklasson and Sharkey, 1992; Brousse, 1993). Unfortu- nately, it has generally been unclear whether these models actually do (...) have this implication (see, for instance, the extensive philosophical debate in Smolensky, 1988; Fodor and McLaughlin, 1990; van Gelder, 1990, 1991; McLaughlin, 1993a, 1993b; Clark, 1993). Indeed, we know of no major supporter of classical orthodoxy who has felt compelled, by connectionist models and argu- ments, to concede in print that connectionists have in fact delivered a non-classical explanation of systematicity. (shrink)

Young children interpret some acts performed by adults as normatively governed, that is, as capable of being performed either rightly or wrongly. In previous experiments, children have made this interpretation when adults introduced them to novel acts with normative language (e.g. ‘this is the way it goes’), along with pedagogical cues signaling culturally important information, and with social-pragmatic marking that this action is a token of a familiar type. In the current experiment, we exposed children to novel actions with no (...) normative language, and we systematically varied pedagogical and social-pragmatic cues in an attempt to identify which of them, if either, would lead children to normative interpretations. We found that young 3-year-old children inferred normativity without any normative language and without any pedagogical cues. The only cue they used was adult socialpragmatic marking of the action as familiar, as if it were a token of a well-known type (as opposed to performing it, as if inventing it on the spot). These results suggest that – in the absence of explicit normative language – young children interpret adult actions as normatively governed based mainly on the intentionality (perhaps signaling conventionality) with which they are performed. (shrink)

Heidegger has been blamed for being obsolete, irrelevant, ignorant and even dangerous in relation to contemporary philosophy of technology. Based on mainly two texts from Heidegger’s post-war production, “The Question Concerning Technology” and “Only a God can Save Us”, this commentary to Don Ihde’s article tries to show how Heidegger actually makes sense to philosophy of technology. The sheer fact that many postmodern thinkers, among those Don Ihde, are constantly ‘measuring’ their line of thoughts and use of concepts against Heidegger’s (...) original thinking is proof of this relevance. I think that Heidegger, despite his despicable political and moral convictions, is needed when it comes to a critique and understanding of contemporary technological innovation and development in relation to what it means to be human. Most important is to stress that Heidegger was not a technodystopian, which a thorough reading of the two selected texts clearly shows. On the contrary, Heidegger points at the existential dialectical essence in technology, which means that both damnation and redemption can be mediated by technology. (shrink)

The initial premise of this paper is that the structure of a proof is inherent in the definition of the proof. Side conditions to deal with the discharging of assumptions means that this does not hold for systems of natural deduction, where proofs are given by monotone inductive definitions. We discuss the idea of using higher order definitions and the notion of a functional closure as a foundation to avoid these problems. In order to focus on structural issues we introduce (...) a more abstract perspective, where a structural proof theory becomes part of a more general theory of functional closures. A notion of proof equations is discussed as a structural classifier and we compare the Russell and Ekman paradoxes to illustrate this. (shrink)

Science is widely perceived as an especially systematic approach to knowing; engineering could be conceived as an especially systematic approach to willing. The transcendental precepts of Bernard Lonergan may be adapted to provide the backdrop for this assessment, which is manifest when the scientific and engineering methods are compared. In science, although the will is implicitly involved, the intellect is primary, because the goal is ideal—additional “objective” knowledge. In engineering, although the intellect is implicitly involved, the will is primary, because (...) the goal is pragmatic—some “subjective” outcome, which is often selected by a manager or client, rather than the engineer. Furthermore, engineering problems are rarely well-defined; uncertainties and resource constraints dictate that they be conceptualized and solved heuristically. As a result, different engineers will follow different design procedures and develop different models, none of which is uniquely “correct.” Because tradeoffs are always necessary, engineering decision-making—and human behavior in general—is more intentional than rational. Recognizing this can help today’s society to overcome its traditional bias in favor of knowing over willing and to engage engineers more explicitly in addressing the many challenges that it faces, technological and otherwise. (shrink)

ABSTRACT:This article provides a normative justification for unions. It discusses three arguments. The argument from consent justifies unions in some circumstances, but if the employer prefers to not bargain with unions, it may provide very little justification. The argument from contestability takes as its starting point the fact that employment contracts are incomplete contracts, where authority takes the place of complete contractual terms. This theory of contracts implies that consent to authority has been given under ignorance, and, therefore, that authority (...) cannot be justified by consent. Contestability is a mechanism that can handle this problem for consent theory. It demands transparency, channels for voice, and a forum where contestations can be evaluated. This idea can be implemented in firms in different ways, but the argument from the separation of powers implies that unions are uniquely suited to implement contestability, since they are organized outside of the employer’s domain of authority. (shrink)

In this illuminating work, Dennis J. Schmidt examines tragedy as one of the highest forms of human expression for both the ancients and the moderns.

The following paper examines the ways in which the South African Truth and Reconciliation Commission provided redemption to both individual perpetrators and to political organisations responsible for Gross Human Rights Violations by virtue of the particular representational ordering that was adopted. While the genealogy of this representational ordering can be traced back to the Information Management System, a database used for capturing data about perpetrators and victims, this ordering is ultimately apparent in the Final Report. Here we find evidence of (...) the TRC's use of a particular representational ordering to reconcile the dual imperative to be impartial on the one hand, while on the other hand trying not to equate the violations of human rights perpetrated by the ANC with those perpetrated by the apartheid state. The representation of the apartheid state as a unified and homogenous entity is discussed as central to this strategy. (shrink)

In healthcare priority settings, early access to treatment before reimbursement decisions gives rise to problems of whether negative decisions for cost‐effectiveness reasons should result in withdrawing treatment, already accessed by patients. Among professionals there seems to be a strong attitude to distinguish between withdrawing and withholding treatment, viewing the former as ethically worse. In this article the distinction between withdrawing and withholding treatment for reasons of cost effectiveness is explored by analysing the doing/allowing distinction, different theories of justice, consequentialist and (...) virtue perspectives. The authors do not find any strong reasons for an intrinsic difference, but do find some reasons for a consequentialist difference, given present attitudes. However, overall, such a difference does not, all things considered, provide a convincing reason against withdrawal, given the greater consequentialist gain of using cost‐effective treatment. As a result, patients should be properly informed when given early access to treatment, that such treatment can be later withdrawn following a negative reimbursement decision. (shrink)

Endgame proposals strive for a tobacco‐free (or at least cigarette‐free) society. Some endgame proposals are radical and include, for example, a complete ban on cigarettes. Setting aside empirical worries, one worry is ethical: would such proposals not go too far in interfering with individual freedom? I argue that concerns around freedom do not speak against endgame proposals, including strong proposals such as a ban on cigarettes. I first argue that when balancing freedom with public health goals in tobacco control, the (...) latter win out. But I also argue that, in principle, a concern with freedom itself already justifies endgame measures. First, such measures can increase people's lifetime freedom, that is, the freedom they have across their entire lives. Second, such measures can facilitate a better interpersonal distribution of freedom by increasing aggregate societal freedom and by reducing inequalities. Overall, freedom does not preclude strict tobacco control but supports it. (shrink)